Como parte del trabajo del taller interno permanente del Cuerpo Académico de Estética y Arte de la Benemérita Universidad Autónoma de Puebla, el 12 de noviembre de 2013 se realizó una Mesa Redonda sobre el tema “Universalidad e identidad cultural”. En esta Mesa participaron los doctores José Ramón Fabelo Corzo, José Antonio Pérez Diestre y Ramón Patiño Espino, como ponentes principales; además, se contó con la asistencia del doctor Jesús Márquez Carrillo, quien se integró al debate. (...) Diferentes disciplinas —la filosofía, la antropología, la historia del pensamiento y del arte, incluso la biología— pueden, cada una, ofrecer sus aportes al tan socorrido tema de la relación entre lo universal y lo propio en la cultura latinoamericana. El debate suscitado puso de manifiesto esa diversidad de aportaciones. En este trabajo presentamos las intervenciones realizadas por cada uno de los integrantes de la mesa, en el orden en que se produjeron. (shrink)

When people understand a counterfactual such as “if the flowers had been roses, the trees would have been orange trees,” they think about the conjecture, “there were roses and orange trees,” and they also think about its opposite, the presupposed facts. We test whether people think about the opposite by representing alternates, for example, “poppies and apple trees,” or whether models can contain symbols, for example, “no roses and no orange trees.” We report the discovery of an inference‐to‐alternates effect—a tendency (...) to make an affirmative inference that refers to an alternate even from a negative minor premise, for example, “there were no orange trees, therefore there were poppies.” Nine experiments show the inference‐to‐alternates effect occurs in a binary context, but not a multiple context, and for direct and indirect reference; it can be induced and reduced by prior experience with similar inferences, and it also occurs for indicative conditionals. The results have implications for theories of counterfactual conditionals, and of negation. (shrink)

We examine two competing effects of beliefs on conditional inferences. The suppression effect occurs for conditionals, for example, “if she watered the plants they bloomed,” when beliefs about additional background conditions, for example, “if the sun shone they bloomed” decrease the frequency of inferences such as modus tollens (from “the plants did not bloom” to “therefore she did not water them”). In contrast, the counterfactual elevation effect occurs for counterfactual conditionals, for example, “if she had watered the plants they would (...) have bloomed,” when beliefs about the known or presupposed facts, “she did not water the plants and they did not bloom” increase the frequency of inferences such as modus tollens. We report six experiments that show that beliefs about additional conditions take precedence over beliefs about presupposed facts for counterfactuals. The modus tollens inference is suppressed for counterfactuals that contain additional conditions (Experiments 1a and 1b). The denial of the antecedent inference (from “she did not water the plants” to “therefore they did not bloom”) is suppressed for counterfactuals that contain alternatives (Experiments 2a and 2b). We report a new “switched‐suppression” effect for conditionals with negated components, for example, “if she had not watered the plants they would not have bloomed”: modus tollens is suppressed by alternatives and denial of the antecedent by additional conditions, rather than vice versa (Experiments 3a and 3b). We discuss the implications of the results for alternative theories of conditional reasoning. (shrink)

We report five experiments showing that the activation of the end-terms of a syllogism is determined by their position in the composite model of the premises. We show that it is not determined by the position of the terms in the rule being applied (Ford, 1994), by the syntactic role of the terms in the premises (Polk & Newell, 1995; Wetherick & Gilhooly, 1990), by the type of conclusion (Chater & Oaksford, 1999), or by the terms from the source premise (...) (Stenning & Yule, 1997). In our first experiment we found that after reading a categorical premise, the most active term is the last term in the premise. In Experiments 2, 3, and 4 we demonstrated that this pattern of activity is due to the position of the concepts in the model of the premises, regardless of the delay after reading the premises (150 or 2000 msec) or the quantity of the quantifiers (universal or existential). The fifth experiment showed that the pattern switches around after participants evaluate a conclusion. We propose that the last element in the model maintains a higher level of activity during the comprehension process because it is generally used to attach the incoming information. After this process, the first term becomes more active because it is the concept to which the whole representation is referred. These results are predicted by the mental model theory (Johnson-Laird & Byrne, 1991), but not by the verbal reasoning theory (Polk & Newell, 1995), the graphical methods theory (Yule & Stenning, 1992), the attachment-heuristic theory (Chater & Oaksford, 1999), or the mental rules theory (Ford, 1994). (shrink)

Si la virtus de la Antigüedad era la fuerza, la valentía y el coraje, y en la modernidad la diligencia, el trabajo, el mérito y el esfuerzo, actualmente se ha instalado la commoditas, una suerte de pseudovirtud nihilista que reivindica la ociosidad, el igualitarismo radical y el entretenimiento. La sociedad contemporánea posmoderna ha superado tanto la metafísica filosófica grecorromana como la teología cristiana, tanto el racionalismo y el empirismo ilustrado como el idealismo romántico decadentista y el positivismo materialista, y ha (...) entrado en una suerte de fin de la historia de nihilismo lúdico autocomplaciente y autosatisfecho. Concluimos que la commoditas está para quedarse y reconfigurará la naturaleza del ser humano en función de una nueva mentalidad que empalidece a la tradición hasta prácticamente anularla. (shrink)

Ramón Llull se propuso instruir y educar en las disciplinas más relevantes de su tiempo -artes liberales, teología, física, medicina, astronomía- a iletrados y no cristianos, y diseñó con ese fin un instrumento de aprendizaje al que llamó "Arte". El Arte, con sus principios, figuras combinatorias y símbolos fundó un camino especulativo interdisciplinario en el que diversas ciencias hallaron una convergencia epistémica, ética y religiosa. El propósito luliano se multiplicó en cerca de 270 obras: literarias, científicas, apologéticas y en (...) las distintas versiones del Arte. Uno de los aspectos más interesantes del pensamiento de Llull es el lenguaje de los correlativos: un conjunto de términos, acuñados al modo de la gramática especulativa del siglo XII, cuyo objetivo es la expresión de los principios del Arte. En el "Liber correlativorum innatorum", que aquí se presenta, Llull describe la formación de estos "nuevos nombres", su significado metafísico y su estructura lingüística, y enseña el modo de usarlos. Se trata de un modelo de lenguaje universal cuya estructura gramatical está vinculada con el contenido metafísico de los principios del Arte y su significación metafórica en la naturaleza y el orden intelectual. (shrink)

This paper compares pair and Mob programming in university courses from students' perceptions of technical and human aspects. Wilcoxon signed rank tests were performed. Results indicated that students preferred pair programming in technical aspects and in a global evaluation they completed.

A logic in a finite language is said to be finitely presentable if it is axiomatized by finitely many finite rules. It is proved that binary non-indexed products of logics that are both finitely presentable and finitely equivalential are essentially finitely presentable. This result does not extend to binary non-indexed products of arbitrary finitely presentable logics, as shown by a counterexample. Finitely presentable logics are then exploited to introduce finitely presentable Leibniz classes, and to draw a parallel between the Leibniz (...) and the Maltsev hierarchies. (shrink)

A logic is selfextensional if its interderivability (or mutual consequence) relation is a congruence relation on the algebra of formulas. In the paper we characterize the selfextensional logics with a conjunction as the logics that can be defined using the semilattice order induced by the interpretation of the conjunction in the algebras of their algebraic counterpart. Using the charactrization we provide simpler proofs of several results on selfextensional logics with a conjunction obtained in [13] using Gentzen systems. We also obtain (...) some results on Fregean logics with conjunction. (shrink)

Belief merging aims at combining several pieces of information coming from different sources. In this paper we review the works on belief merging of propositional bases. We discuss the relationship between merging, revision, update and confluence, and some links between belief merging and social choice theory. Finally we mention the main generalizations of these works in other logical frameworks.

Computer simulations have conventionally been understood to be either extensions of formal methods such as mathematical models or as special cases of empirical practices such as experiments. Here, I argue that computer simulations are best understood as instruments. Understanding them as such can better elucidate their actual role as well as their potential epistemic standing in relation to science and other scientific methods, practices and devices.

In this paper I argue that Artificial Intelligence and the many data science methods associated with it, such as machine learning and large language models, are first and foremost epistemic technologies. In order to establish this claim, I first argue that epistemic technologies can be conceptually and practically distinguished from other technologies in virtue of what they are designed for, what they do and how they do it. I then proceed to show that unlike other kinds of technology (_including_ other (...) epistemic technologies) AI can be uniquely positioned as an epistemic technology in that it is primarily designed, developed and deployed to be used in _epistemic contexts_ such as inquiry, it is specifically designed, developed and deployed to manipulate _epistemic content_ such as data, _and_ it is designed, developed and deployed to do so particularly through _epistemic operations_ such as prediction and analysis. As has been shown in recent work in the philosophy and ethics of AI (Alvarado, AI and Ethics, 2022a), understanding AI as an epistemic technology will also have significant implications for important debates regarding our relationship to AI technologies. This paper includes a brief overview of such implications, particularly those pertaining to explainability, opacity, trust and even epistemic harms related to AI technologies. (shrink)

ABSTRACT We consider in this work the problem of iterated belief revision. We propose a family of belief revision operators called revision with memory operators and we give a logical (both syntactical and semantical) characterization of these operators. They obey what we call the principle of strong primacy of update: when one revises his beliefs by a new evidence, then all possible worlds that satisfy this new evidence become more reliable than those that do not. We show that those operators (...) have a satisfying behaviour concerning the iteration of the revision process. Then we provide four particular operators of this family. (shrink)

Bioethics, Volume 36, Issue 2, Page 121-133, February 2022.

La nueva concepción de la Ley en la Constitución venezolana de 1999 The new conception of law in the 1999 Venezuelan Constitution González R., Javier La justicia, ¿Una virtud necesaria? The justice, A necessary virtue? Guarisma Mérida, Aidalíz Derechos humanos, interculturalidad y racionalidad de resistencia Human rights and rationality of resistance Herrera Flores, Joaquín El estado de apertura y la esencia del lenguaje The state of disclosure and the essence of language Hocevar, Drina El problema de la libertad The problem (...) of freedom Jáuregui, Ramón M. De la violencia a la retórica en la construcción de la civilidad From violence to rhetoric in civility construction Pino de Casanova, Malin ¿Historia universal o local? Una cuestión de especial trascendencia en el campo de la jurisprudencia Universal or local history? A matter of special transcendence in the field of jurisprudence Puy Muñoz, Francisco Contra la democracia Against democracy López Corredoira, Martín Un punto de vista práctico sobre el derecho A practical point of view about law Otero Parga, Milagros El derecho en Antígona ¿Natural o positivo? Law in Antigone. Natural or positive law? Parodi Remón, Carlos Por la democracia For democracy Suzzarini, Andrés La ciencia según Hegel Science according Hegel Vásquez, Eduardo Responsabilidad civil y responsabilidad moral. Hacia una responsabilidad civil más objetiva Civil responsibility and moral responsibility. Towards a more objective civil responsibility Vielma Mendoza, Yoleida Recensiones Finnis, John: El autor y su obra Reseñado por: Hoèevar, Mayda Aguayo, Enrique: Introducción al pensamiento jurídico-filosófico de Eduardo García Máynez Reseñado por: González R., Javier. (shrink)

The best known algebraizable logics with a conjunction and an implication have the property that the conjunction defines a meet semi-lattice in the algebras of their algebraic counterpart. This property makes it possible to associate with them a semi-lattice based deductive system as a companion. Moreover, the order of the semi-lattice is also definable using the implication. This makes that the connection between the properties of the logic and the properties of its semi-lattice based companion is strong. We introduce a (...) class of algebraizable deductive systems that includes those systems, and study some of their properties and of their semi-lattice based companions. We also study conditions which, when satisfied by a deductive system in the class, imply that it is strongly algebraizable. This brings some information on the open area of research of Abstract Algebraic Logic which consists in finding interesting characterizations of classes of algebraizable logics that are strongly algebraizable. (shrink)

Leibniz filters play a prominent role in the theory of protoalgebraic logics. In [3] the problem of the definability of Leibniz filters is considered. Here we study the definability of Leibniz filters with parameters. The main result of the paper says that a protoalgebraic logic S has its strong version weakly algebraizable iff it has its Leibniz filters explicitly definable with parameters.

In Rudolph Camap (,) established himself as a professor in Vienna. The philosophical atmosphere awaiting him there was not new to him: the year before he ...

The positive fragment of the local modal consequence relation defined by the class of all Kripke frames is studied in the context ofAlgebraic Logic. It is shown that this fragment is non-protoalgebraic and that its class of canonically associated algebras according to the criteria set up in [7] is the class of positive modal algebras. Moreover its full models are characterized as the models of the Gentzen calculus introduced in [3].

Tras el Descubrimiento de América por Cristóbal Colón, para cuya empresa contó con la decisiva ayuda del dominico fray Diego de Deza, fueron los miembros de la Orden de Santo Domingo los primeros que lucharon por la justicia en la defensa de la dignidad del indígena en la conquista de América durante las primeras décadas del asentamiento español en el Nuevo Mundo y los que, con el debate teológico y filosófico, pusieron en cuestión los Justos Títulos de ocupación por parte (...) de España de las lejanas tierras ultramarinas. También fueron los pioneros que intentaron poner en práctica la tesis evangelizadora aislacionista, seguida después por otras órdenes religiosas. Los nombres de Antonio Montesinos, Pedro de Córdoba, Bartolomé de las Casas, Francisco de Vitoria, Tomás de Berlanga, Domingo de Soto, Melchor Cano y tantos otros forman un grupo destacado de precursores que se adelantaron en el tiempo a la hora de proclamarse defensores de los Derechos Humanos. (shrink)

Thesis (Ph. D.)--University of Hawaii at Manoa, 1996.

This paper explores a notion of “the strong version” of a sentential logic S, initially defined in terms of the notion of a Leibniz filter, and shown to coincide with the logic determined by the matrices of S whose filter is the least S-filter in the algebra of the matrix. The paper makes a general study of this notion, which appears to unify under an abstract framework the relationships between many pairs of logics in the literature. The paradigmatic examples are (...) the local and the global consequences associated with a normal modal logic, and the logics preserving degrees of truth and preserving truth associated with certain substructural and many-valued logics. For protoalgebraic logics the results in the paper coincide with those obtained by two of the authors in 2001, so the main novelty of the approach is its suitability for all kinds of logics. The paper also studies three kinds of definability of the Leibniz filters, and their consequences for the determination of the strong version. In a second part of the paper several case studies are developed, comprising positive modal logic, Dunn–Belnap’s four-valued logic, the large family of substructural logics, and some relevance logics. (shrink)